#ifndef _BOARD_TIM_H_
#define _BOARD_TIM_H_

void trigger_timer_init(void);

#endif
